Some thoughts on dataflow real-time programming languages
نویسنده
چکیده
We propose a new language, RLucid, which is Lucid with one new operator. RLucid is intended for real time (or, more precisely, reactive) programming and is based on a simple synchronous dataflow model of computation. RLucid is therefore similar to the Lustre language but is more general in that it does not require that operators be strict: in the RLucid model a filter may respond when input arrives on only some of its input channels. The new operator before allows the programmer to make decisions based on the order of arrival of input; it is especially useful for programming interfaces. A simple least fixedpoint semantics of RLucid is given using a domain of time-stamped streams. We discuss the possibility of implementing RLucid.
منابع مشابه
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming
High-level formal programming languages require system designers to provide a very precise description of the system during early development phases, which may in some cases lead to arbitrary choices (i.e. the designer “overspecifies” the system). In this paper, we propose an extension of synchronous dataflow languages where the designer can specify that he does not care whether some communicat...
متن کاملOn Undecidability Results of Real Programming Languages
Often, it is argued that some problems in data-flow analysis such as e.g. worst case execution time analysis are undecidable (because the halting problem is) and therefore only a conservative approximation of the desired information is possible. In this paper, we show that the semantics for some important real programming languages – in particular those used for programming embedded devices – c...
متن کاملUsing Program Analysis Infrastructure for Software Maintenance
Enabling the reuse of available techniques and tools for software maintenance is a major topic. However, research focuses mostly on two topics: parsing and tool interoperability. In the future, more sophisticated approaches to maintenance will be needed and dataflow analysis has to be used. As building dataflow analyzers for real languages is expensive, we must start to provide reusable dataflo...
متن کاملnova - A New Computer Music System with a Dataflow Syntax
nova is a new computer music system based on a dataflow syntax, which shares a common subset with Max-like languages like Pure Data, Max/MSP or jMax. Nevertheless, nova is not just a new implementation of the Max language, but has been redesigned from scratch in order to overcome some of its limitations. nova is written in the C++ programming language. The implementation is based on a highly mo...
متن کاملReal-time Mentat Programming Language and Architecture
Real-Time Mentat is a programming environment designed to simplify the task of programming real-time applications in distributed and parallel environments. It is based on the same data-driven computation model and object-oriented programming paradigm as Mentat [l-31. It provides an easy-to-use mechanism to exploit parallelism; language constructs for the expression and enforcement of timing con...
متن کامل